Costs Are Expensive!
نویسندگان
چکیده
We study the model-checking problem for WMTL, a costextension of the linear-time timed temporal logic MTL, that is interpreted over weighted timed automata. We draw a complete picture of the decidability for that problem: it is decidable only for the class of one-clock weighted timed automata with a restricted stopwatch cost, and any slight extension of this model leads to undecidability. We finally give some consequences on the undecidability of linear hybrid automata.
منابع مشابه
A mixed integer nonlinear programming model for optimizing a gas pipeline transmission linear network
The technical equipment developed and used in both installation and operation processes in refineries, oil and gas pipelines, and gas booster stations has always been expensive. Hence, managers at different organizational levels are keen to find methods to control and reduce these costs. Generally speaking, the operators in a gas booster station choose the operating devices without considering ...
متن کاملOptimal Forest Road Density Based on Skidding and Road Construction Costs in Iranian Caspian Forests
Information on the productivity, costs and applications of the logging system is a key component in the evaluation of management plans for the rehabilitation and utilization of Caspian forests. Skidding and road construction costs are expensive forest operations. Determining the optimum forest road network density is one of the most important factors in sustainable forest management. Logging me...
متن کاملTwo Implementation Models of Abstract Data Types
A~-This paper compares two implementation models for abstract data types: direct and indirect implementations. Direct implementations offer relatively cheap execution and expensive compilation costs while indirect implementations result in relatively expensive implementations and cheap compilation costs. These two models are both accommodated by Ada, and a small experiment compares their costs ...
متن کاملO-31: Balancing Selected Medication Costs with Total Number of Daily Injections: A Preference Analysis of GnRH-Agonist and AntagonistProtocols by IVF Patients
Background: During in vitro fertilization (IVF), fertility patients are expected to self-administer many injections as part of this treatment. While newer medications have been developed to substantially reduce the number of these injections, such agents are typically much more expensive. Considering these differences in both cost and number of injections, this study compared patient preference...
متن کاملA new mathematical model for the closed-loop supply chains considering pricing for product, a fleet of heterogeneous vehicles, and inventory costs
Mathematical models have been used in many areas of supply chain management. In this paper, we present a mixed-integer non-linear programing (MINLP) model to solve a multi-period, closed-loop supply chains (CLSCs) with two echelons consist of producers and customers. In order to satisfy the demands, the producers are be able to order for materials in the beginning of each period for one or more...
متن کاملCharacteristics and healthcare utilisation patterns of high-cost beneficiaries in the Netherlands: a cross-sectional claims database study
OBJECTIVE To determine medical needs, demographic characteristics and healthcare utilisation patterns of the top 1% and top 2%-5% high-cost beneficiaries in the Netherlands. DESIGN Cross-sectional study using 1 year claims data. We broke down high-cost beneficiaries by demographics, the most cost-incurring condition per beneficiary and expensive treatment use. SETTING Dutch curative health ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007